kw.\*:("Proceso secuencial comunicante")
Results 1 to 25 of 180
Selection :
CSP : communicating sequential processes : the first 25 years (London, 7-8 July 2004, revised invited papers)Abdallah, Ali E; Jones, Cliff B; Sanders, Jeff W et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25813-2, XIV, 320 p, isbn 3-540-25813-2Conference Proceedings
Generic parameters in occamWILSON, G. A.Software, practice & experience. 1989, Vol 19, Num 11, pp 1057-1064, issn 0038-0644Article
Recursive process definitions with the state operatorBAETEN, J. C. M; BERGSTRA, J. A.Theoretical computer science. 1991, Vol 82, Num 2, pp 285-302, issn 0304-3975, 18 p.Article
A compositional proof system for shared variable concurrencyDE BOER, F. S; HANNEMANN, U; DE ROEVER, W.-P et al.Lecture notes in computer science. 1997, pp 515-532, issn 0302-9743, isbn 3-540-63533-5Conference Paper
Using a PVS embedding of CSP to verify authentication protocolsDUTERTRE, B; SCHNEIDER, S.Lecture notes in computer science. 1997, pp 121-136, issn 0302-9743, isbn 3-540-63379-0Conference Paper
On communicating sequential processesPANDEY, B. D; PATHAK, S. S.Computer networks and ISDN systems. 1995, Vol 27, Num 9, pp 1333-1348, issn 0169-7552Article
Total correctness of CSP programsSOUNDARARAJAN, N.Acta informatica. 1986, Vol 23, Num 2, pp 193-215, issn 0001-5903Article
Relating may and must testing semantics for discrete timed process algebrasLLANA DIAZ, L. F; DE FRUTOS ESCRIG, D.Lecture notes in computer science. 1999, pp 74-86, issn 0302-9743, isbn 3-540-66856-XConference Paper
Implementing a model checker for LEGOYU, S; LUO, Z.Lecture notes in computer science. 1997, pp 442-458, issn 0302-9743, isbn 3-540-63533-5Conference Paper
Protocoles pour le rendez-vous et l'équité = Protocols for rendez-vous and fairnessPandolfi, Xavier; Jorrand, Philippe.1992, 97 p.Thesis
Transformations for communication fairness in CSPZÖBEL, D.Information processing letters. 1987, Vol 25, Num 3, pp 195-198, issn 0020-0190Article
Scheduling algebraVAN GLABBEEK, R; RITTGEN, P.Lecture notes in computer science. 1999, pp 278-292, issn 0302-9743, isbn 3-540-65462-3Conference Paper
Testing semantics for unbounded nondeterminismFDO, L; DIAZ, L; NUNEZ, M et al.Lecture notes in computer science. 1997, pp 538-545, issn 0302-9743, isbn 3-540-63440-1Conference Paper
An efficient technique for deadlock analysis of large scale process networksMARTIN, J. M. R; JASSIM, S. A.Lecture notes in computer science. 1997, pp 418-441, issn 0302-9743, isbn 3-540-63533-5Conference Paper
Of probabilistic wp and CSP and compositionalityMORGAN, Carroll.Lecture notes in computer science. 2005, pp 220-241, issn 0302-9743, isbn 3-540-25813-2, 22 p.Conference Paper
Maintaining global consistency of temporal constraints in a dynamic environmentMOUHOUB, Malek.Lecture notes in computer science. 2003, pp 779-788, issn 0302-9743, isbn 3-540-40455-4, 10 p.Conference Paper
Bundle event structures and CCSPVAN GLABBEEK, Rob; VAANDRAGER, Frits.Lecture notes in computer science. 2003, pp 57-71, issn 0302-9743, isbn 3-540-40753-7, 15 p.Conference Paper
Specifying processes with dynamic life cyclesVAN REIN, R.Lecture notes in computer science. 2000, Vol 1789, pp 192-211, issn 0302-9743, isbn 3-540-67630-9Conference Paper
A framework for formal reasoning about open distributed systemsFREDLUND, L.-A; GUROV, D.Lecture notes in computer science. 1999, pp 87-100, issn 0302-9743, isbn 3-540-66856-XConference Paper
Effective recognizability and model checking of reactive Fiffo AutomataSUTRE, G; FINKEL, A; ROUX, O et al.Lecture notes in computer science. 1999, pp 106-123, issn 0302-9743, isbn 3-540-65462-3Conference Paper
Une nouvelle méthode de compilation pour le Langage ESTEREL = The ESTEREL synchronous programming language : implementation and compilationBERTIN, V; POIZE, M; PULOU, J et al.Journées thématiques universités/industries sur l'adéquation algorithme-architecture pour les applications temps réel industrielles complexes. 1999, pp 40-47, 2VolConference Paper
Formal methods and industrial-strength computer networksREED, J.Lecture notes in computer science. 1998, pp 223-233, issn 0302-9743, isbn 3-540-65309-0Conference Paper
Asynchronous observations of processesBOREALE, M; DE NICOLA, R; PUGLIESE, R et al.Lecture notes in computer science. 1998, pp 95-109, issn 0302-9743, isbn 3-540-64300-1Conference Paper
Generalizing domain theoryMISLOVE, M.Lecture notes in computer science. 1998, pp 1-19, issn 0302-9743, isbn 3-540-64300-1Conference Paper
Temporal models for multimedia synchronizationLI, M; SUN, Y; SHENG, H et al.High technology letters. 1997, Vol 3, Num 2, pp 37-41, issn 1006-6748Article